COVID-19: What Went Wrong. Ignoring the Tell-tale Signs!

What Went Wrong: Explaining Counterexamples

One of the chief advantages of model checking is the production of counterexamples demonstrating that a system does not satisfy a specification. However, it may require a great deal of human effort to extract the essence of an error from even a detailed source-level trace of a failing run. We use an automated method for finding multiple versions of an error (and similar executions that do not p...

Financial Liberalization: What Went Right,What Went Wrong?

that took place in the developing countries in the 1980s and 1990s was part of the general move toward giving markets a greater role in development. It was also a reaction to several factors specific to finance: the costs, corruption, and inefficiencies associated with using finance as an instrument of populist, state-led development; a desire for more financial resources; citizens’ demands for...

What Went Wrong in the Twentieth Century

What Went Wrong in the Twentieth Century

University Press. All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher, except for reading and browsing via the World Wide Web. Users are not permitted to mount this file on any network servers.

Agile Development at ABC - What Went Wrong?

Agile development methods continue to enjoy widespread use, with more and more companies transitioning to agile methods. Current literature suggests that most of those companies are successful in making the transition, but others are not so successful. This paper examines one such company – referred to within as the ‘ABC Company’ to maintain their privacy – and analyzes and discusses their stru...